141. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
142. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
143. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
144. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
145. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
146. Models in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
147. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگرهها,چندپردازندهها -- کنگرهها,برنامهنویسی موازی -- کنگرهها
رده :
E-Book
,
148. NETWORKING 2012 Workshops
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer networks -- Congresses,Computer networks -- Management -- Congresses,Software engineering,شبکههای کامپیوتری -- کنگرهها,شبکههای کامپیوتری -- مدیریت -- کنگرهها,مهندسی نرم افزار
رده :
E-Book
,
149. New modeling concepts for today's software processes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;
150. New trends in software methodologies, tools and techniques: proceedings of Lyee W03, the second International Workshop on Lyee Methodology
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Reliability
رده :
QA
76
.
758
.
I577
2003
151. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
پدیدآورنده : edited by Hamido Fujita and Mohamed Mejri
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
152. On the Move to Meaningful Internet Systems: OTM 2012 Workshops
پدیدآورنده : / Pilar Herrero...[et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks--Congresses,Internet--Congresses,Cloud computing--Congresses,Software engineering--Congresses
رده :
TK5105
.
3
.
O86
2012
153. Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided software engineering ; Congresses. ; -Computer
154. PASTE'07 : proceedings of the 2007 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools & Engineering, San Diego, California, USA, June 13-14, 2007
پدیدآورنده : sponsored by: ACM SIGPLAN & ACM SIGSOFT; and supported by: Center for Software Excellence, Microsoft Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2007
155. PRIMA 2015
پدیدآورنده : [Edited by] Qingliang Chen...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Multiagent systems -- Congresses.,Software engineering.,سامانههای چند عاملی -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
76
..
I58P7
2015
E-Book
,
156. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,علوم کامپیوتر -- کنگرهها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
157. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
158. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
رده :
Q
336
.
I356
1994
159. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده : International Workshop on Software Technology and Engineering Practice )9th :9991 :Pittsburgh, PA.(,sponsored by IWCASE-International Workshop on CASE ... ]et al.[ ; edited by Scott Tilley, June Verner
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software- Congresses,، Software engineering- Congresses,، Computer-aided software engineering- Congresses
رده :
QA
76
.
758
.
I75
1999
160. Proceedings: Software Technology and Engineering Practice, STEP'99, August 30-September 2, 1999, Pittsburgh, PA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering,Congresses ، Computer-aided software engineering
رده :
QA
76
.
758
.
I75
1999